Electronic Books

Total Books: 21 - 30 /30
978-3-540-88030-1
Software Architecture : Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings

This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...

Continue reading
978-3-540-85936-9
Software Process Improvement : 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings

This book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...

Continue reading
978-3-540-88708-9
Systems and Virtualization Management. Standards and New Technologies : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings

This book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...

Continue reading
978-3-540-87702-8
The Challenge of Anticipation : A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

This book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...

Continue reading
978-3-540-85289-6
The Common Component Modeling Example : Comparing Software Component Models

The Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...

Continue reading
978-3-540-89287-8
Transactions on Petri Nets and Other Models of Concurrency I

It contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...

Continue reading
978-3-540-89876-4
Transactions on Rough Sets IX

This book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...

Continue reading
978-3-540-89765-1
Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...

Continue reading
978-3-540-87873-5
Verified Software: Theories, Tools, Experiments : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

The scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...

Continue reading
978-0-387-49592-7
Wireless Sensor Networks and Applications

Wireless sensor networks are currently being employed in a variety of applications ranging from medical to military, and ...

Continue reading
Total Books: 21 - 30 /30